1. Automated deduction in classical and non-classical logics
پدیدآورنده : / Ricardo Caferra, Gernot Salzer (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving.,Logic, Symbolic and mathematical.
رده :
QA
,
76
.
9
,.
A96
,
A85
,
2000
2. Automated deduction in classical and non-classical logics : selected papers
پدیدآورنده : Ricardo Caferra, Gernot Salzer )eds.(
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1761
